Constacyclic codes over 𝔽 pm [u 1, u 2,⋯,uk ]/〈 ui 2 = ui , ui uj = uj ui 〉

Aai Ihulh4@?ui Lu W?uhi4i?|@* +i__?_@?u) 5ui4it

Java UI : Effects for Controlling UI Object Access

Most graphical user interface (GUI) libraries forbid accessing UI elements from threads other than the UI event loop thread. Violating this requirement leads to a program crash or an inconsistent UI. Unfortunately, such errors are all too common in GUI programs. We present a polymorphic type and effect system that prevents non-UI threads from accessing UI objects or invoking UI-thread-only meth...

Inspector: Interactive UI Specification Tool

When the user interface should be specified, a picture is worth a thousand words, and the worst thing to do is write a natural language specification for it. Although this practice is still common, it is a challenging task to move from text-based requirements and problem-space concepts to a final UI design, and then back. Especially for user interface specification, actors must frequently switc...

Context-Aware UI Component Reuse

Adapting user interfaces (UIs) to various contexts, such as for the exploding number of different devices, has become a major challenge for UI developers. The support offered by current development environments for UI adaptation is limited, as is the support for the efficient creation of UIs in Web service-based applications. In this paper, we describe an approach where – based on a given conte...

The Magic of UI Physics

High-fidelity physics enhances user interfaces with realism that more closely engage users. However, indirect control of UI objects through physical forces interferes with direct control of the user experience, which limits the use of physics in productivity UIs. This paper demonstrates how UI physics should and can be enhanced with magic that violates physically consistent reasoning to allow f...